Game Development Using Design-by-Contract
نویسندگان
چکیده
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based presentation that lightweight formal methods are effective in building realistic networked multiplayer games. The evidence is produced via a pilot study that uses Design-by-Contract, under realistic game development conditions, and encompasses both qualitative and empirical results.
منابع مشابه
Coordinating a decentralized supply chain with a stochastic demand using quantity flexibility contract: a game-theoretic approach
Supply chain includes two or more parties linked by flow of goods, information, and funds. In a decentralized system, supply chain members make decision regardless of their decision's effects on the performance of the other members and the entire supply chain. This is the key issue in supply chain management, that the mechanism should be developed in which different objectives should be align...
متن کاملCoordinating a Seller-Buyer Supply Chain with a Proper Allocation of Chain’s Surplus Profit Using a General Side-Payment Contract
In this paper, seller-buyer supply chain coordination with general side-payment contracts is introduced to gain the maximum possible chain profit. In our model, the logistics costs for both buyer and seller are considered and the final demand is also supposed to be a decreasing function of the retail price. Since parties aim to maximize their individual profits, the contractual parameters are s...
متن کاملSolving a Two-Period Cooperative Advertising Problem Using Dynamic Programming
Cooperative advertising is a cost-sharing mechanism in which a part of retailers' advertising investments are financed by the manufacturers. In recent years, investment among advertising options has become a difficult marketing issue. In this paper, the cooperative advertising problem with advertising options is investigated in a two-period horizon in which the market share in the second period...
متن کاملModeling and Numerical Analysis of Revenue Sharing Contract Based on the Stackelberge Game Theory
Considered supply chain in this article consists of one vendor and multiple retailers where the vendor applies vendor managed inventory. Considering vendor as a leader and retailers as followers, Stackelberg game theory is applied for modeling and analyzing this system. A general mixed integer nonlinear model is developed which can optimizes the performance of the system under revenue sharing c...
متن کاملIdentifying and prioritizing the effective factors in the development of games and sports for elderly
Introduction: Participation of the elderly in leisure sports activities with a game approach, leads to improving their quality of life and by creating motivation and hope, moderates the inertia created in old age. The aim of this study was to identify and prioritize the effective factors in the development of games and sports for the elderly. Methods: The present study was conducted with a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Object Technology
دوره 5 شماره
صفحات -
تاریخ انتشار 2006